T. Kurahashi, "Arithmetical completeness theorem for modal logic K" - Internet Explorer 2.0

T. Kurahashi, "Arithmetical completeness theorem for modal logic K"

https://www.researchgate.net/profile/Taishi-Kurahashi/publication/317976249_Arithmetical_Completeness_Theorem_for_Modal_Logic_K/links/5a390fceaca27266cfd34229/Arithmetical-Completeness-Theorem-for-Modal-Logic-K.pdf?origin=publication_detail